zero-knowledge proof

Arrow information paradox – Problem in intellectual property management

cryptographic protocol – Aspect of cryptography

Probabilistically checkable proof – type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof

proof of knowledge – Class of interactive proof

Topics in cryptography

Witness-indistinguishable proof – Variant of a zero-knowledge proof for languages in NP

Zero-knowledge password proof

Non-interactive zero-knowledge proof – Cryptographic primitive

https://en.wikipedia.org/wiki/Zero-knowledge_proof